基于扩展Petri网的防空C~4ISRK系统建模分析

针对地空导弹武器系统防空中的火力分配问题,建立了战术级防空C4ISRK系统的Petri网模型。对其进行扩展,即联合谓词Petri网和赋色Petri网,建立旅级火力分配的改进模型,给出了具体的前置谓词公式。为有效分析战术决策的正确性提供了依据和思路。     

柔软物体力触觉形变模型验证系统

为了验证柔性物体力-形变模型的合理性,构建了基于CC2531芯片的无线数据收发平台、力传感器测量平台和FALCON手控器位移测量平台的力-形变模型验证系统。以新鲜猪肝脏为实验对象,研究了弹性形变实验和穿刺实验的作用力与位移之间的关系;以力-形变测量数据为基础,进行了参数验证校调。仿真实验结果表明:模型中力-形变特性与实际测量值保持一致。该系统能广泛应用于柔性物体力-形变模型验证,对于促进力触觉虚拟医学仿真系统的发展具有重要意义。     

逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

弧连通空间与收敛类

本文利用收敛类的理论刻划弧连空间,并得到:集合X上具有F性质的子集簇(?)确定了X的一个收敛类(?),则(?)诱导出的拓扑空间(X,(?)-(?))是弧连通的;反之,每一个弧连空间(X,(?)都可以由集合X的一个收敛类诱导出来。     

地理信息数据库实现

地理信息库是Ｘ－２０００高速三维地形显示系统的重要组成部分,主要对地图和地理实体进行存储和管理。地图、地理实体和其他图形对象一样,其属性值具有不定长性、层次性和多媒体性,难以用简单的数据类型表示等特征。本文在解决如何用传统数据模型来描述和存储复杂的地图和地理实体的基础上,用商用数据库管理系统（ＯＲＡＣＬＥ５．１Ｂ版本）,采用全关系型结构,设计和实现了地理信息数据库。     

C~3I决策系统的Petri网建模技术

综述了Ｃ３Ｉ决策系统的若干Ｐｅｔｒｉ网建模方法。首先介绍了Ｃ３Ｉ系统的一般Ｐｅｔｒｉ网建模技术和时间Ｐｅｔｒｉ网建模技术,并介绍了随机Ｐｅｔｒｉ网建模技术;然后介绍了谓词Ｐｅｔｒｉ网和有色Ｐｅｔｒｉ网建模技术。最后指出了Ｃ３Ｉ决策系统中,Ｐｅｔｒｉ网的若干研究方向。     

应用柯洛波夫数论网格计算发射n发至少命中m发概率的研究

本文应用了柯洛波夫数论网格方法,较好地解决了三级误差条件下高精度计算命中概率指标 P_(Lm)的问题。本文还详细给出了计算 P_(Lm)的方法、步骤和实例。     

变质心弹道导弹攻击航母分析

针对地面或海上低速移动目标的特点,运用理论力学、空气动力学及变质心控制方法,探索变质心姿态控制问题。研究了变质心弹头控制质量块移动的方法。通过移动质量块引起整个弹头质心的变化,进而改变弹头的气动配平力矩,修正惯性弹道,实现对地面或海上低速目标的有效攻击。     

空间飞网系统牵拉模式影响研究

针对空间飞网系统任务设计需求,研究飞网牵拉模式对系统展开性能的影响。建立空间飞网系统拉出展开过程动力学模型,并通过地面试验对比验证了模型的有效性。面向任务需求建立空间飞网系统评价指标,针对四、六点牵拉模式,采用有限绳段方法对飞网系统进行建模仿真。模型中保持绳网质量和初始发射能量一致,对评价指标的分析结果表明,在六点牵拉模式下,飞网系统飞行性能指标和力学性能指标有明显提高,但能量利用率和系统可靠性小幅下降。     

采用小弹性模量方法的空间飞网构型优化设计

飞网构型设计对提高空间飞网系统的展开抓捕性能具有重要意义。用小弹性模量分析方法对空间飞网构型优化设计问题进行研究。以绳网中内力分布均衡性为优化目标,选取飞网抛射过程中最大受力时刻为研究工况,赋予绳索单元极小弹性模量,进行静力学计算,并以变形后的结果为初始条件进行迭代分析。优化结果表明,绳网中的内力分布随迭代步数的增加而更趋于均匀。在不改变绳网拓扑结构的前提下,所建立的优化设计方法为空间飞网构型优化设计提供了一种参考途径。